Prospects for Fisheries Development in West Africa

The production of food is a primary concern for the countries of Africa. Marine fisheries can contribute toward alleviating undernutrition and provide employment opportunities in developing countries. In West Africa there are substantial marine fisheries resources but there is a need for development and improved management of these resources. Fisheries development efforts have thus far achieved limited success in the region. However, there is considerable potential for increasing the contribution of fisheries to economic development if the problems of fisheries development can be overcome

Evaluation of a cognitive skills programme for male prisoners – exploring treatment effectiveness

Aim: The current study provides an evaluation of a cognitive skills programme (Enhanced Thinking Skills) with adult prisoners. Method: A pre and post treatment-only design with 171 male prisoners, using self-report psychometric measures. Results: Significant differences were found in the direction expected. Clinical recovery using stringent methods was not indicated, although improvement/partial response was across a number of domains. Originality: This study represents the first prison study to distinguish between levels of positive change. It questions previous interpretations of treatment outcome. Implications for practice: Expectations for treatment outcome for short term interventions should be more realistic; Cognitive skills programmes may be best considered as precursors to longer term therapies; Treatment outcome should focus on improvement and not recovery

(R p)-1-{(R)-(Dimethyl­amino)[2-(diphenyl­phosphan­yl)phen­yl]methyl}-2-(diphenyl­phosphan­yl)ferrocene chloro­form solvate

The absolute configuration of the title mol­ecule, [Fe(C5H5)(C38H34NP2)]·CHCl3, is R,R p. The mol­ecular structure is similar to the structure of the solvent-free compound [Fukuzawa, Yamamoto & Kikuchi (2007 ▶). J. Org. Chem. 72, 1514–1517], but some torsion angles about the P—Cphen­yl bonds differ by up to 25°. The P atoms and the N atom have a distorted trigonal-pyramidal geometry. The chloro­form solvate group donates a C—H⋯π bond to the central benzene ring and is also involved in six inter­molecular C—H⋯Cl contacts with H⋯Cl distances between 2.96 and 3.13 Å

Hipster: Integrating Theory Exploration in a Proof Assistant

This paper describes Hipster, a system integrating theory exploration with the proof assistant Isabelle/HOL. Theory exploration is a technique for automatically discovering new interesting lemmas in a given theory development. Hipster can be used in two main modes. The first is exploratory mode, used for automatically generating basic lemmas about a given set of datatypes and functions in a new theory development. The second is proof mode, used in a particular proof attempt, trying to discover the missing lemmas which would allow the current goal to be proved. Hipster's proof mode complements and boosts existing proof automation techniques that rely on automatically selecting existing lemmas, by inventing new lemmas that need induction to be proved. We show example uses of both modes

Witten's Invariants of Rational Homology Spheres at Prime Values of KK and Trivial Connection Contribution

We establish a relation between the coefficients of asymptotic expansion of trivial connection contribution to Witten's invariant of rational homology spheres and the invariants that T.~Ohtsuki extracted from Witten's invariant at prime values of $K$. We also rederive the properties of prime $K$ invariants discovered by H.~Murakami and T.~Ohtsuki. We do this by using the bounds on Taylor series expansion of the Jones polynomial of algebraically split links, studied in our previous paper. These bounds are enough to prove that Ohtsuki's invariants are of finite type. The relation between Ohtsuki's invariants and trivial connection contribution is verified explicitly for lens spaces and Seifert manifolds.Comment: 32 pages, no figures, LaTe

25 Years of Self-Organized Criticality: Numerical Detection Methods

The detection and characterization of self-organized criticality (SOC), in both real and simulated data, has undergone many significant revisions over the past 25 years. The explosive advances in the many numerical methods available for detecting, discriminating, and ultimately testing, SOC have played a critical role in developing our understanding of how systems experience and exhibit SOC. In this article, methods of detecting SOC are reviewed; from correlations to complexity to critical quantities. A description of the basic autocorrelation method leads into a detailed analysis of application-oriented methods developed in the last 25 years. In the second half of this manuscript space-based, time-based and spatial-temporal methods are reviewed and the prevalence of power laws in nature is described, with an emphasis on event detection and characterization. The search for numerical methods to clearly and unambiguously detect SOC in data often leads us outside the comfort zone of our own disciplines - the answers to these questions are often obtained by studying the advances made in other fields of study. In addition, numerical detection methods often provide the optimum link between simulations and experiments in scientific research. We seek to explore this boundary where the rubber meets the road, to review this expanding field of research of numerical detection of SOC systems over the past 25 years, and to iterate forwards so as to provide some foresight and guidance into developing breakthroughs in this subject over the next quarter of a century.Comment: Space Science Review series on SO

Detection and Interpretation Of Long-Lived X-Ray Quasi-Periodic Pulsations in the X-Class Solar Flare On 2013 May 14

Quasi-periodic pulsations (QPP) seen in the time derivative of the GOES soft X-ray light curves are analyzed for the near-limb X3.2 event on 14 May 2013. The pulsations are apparent for a total of at least two hours from the impulsive phase to well into the decay phase, with a total of 163 distinct pulses evident to the naked eye. A wavelet analysis shows that the characteristic time scale of these pulsations increases systematically from $\sim$25 s at 01:10 UT, the time of the GOES peak, to $\sim$100 s at 02:00 UT. A second ridge in the wavelet power spectrum, most likely associated with flaring emission from a different active region, shows an increase from $\sim$40 s at 01:40 UT to $\sim$100 s at 03:10 UT. We assume that the QPP that produced the first ridge result from vertical kink-mode oscillations of the newly formed loops following magnetic reconnection in the coronal current sheet. This allows us to estimate the magnetic field strength as a function of altitude given the density, loop length, and QPP time scale as functions of time determined from the GOES light curves and RHESSI images. The calculated magnetic field strength of the newly formed loops ranges from about $\sim$500 G at an altitude of 24 Mm to a low value of $\sim$10 G at 60 Mm, in general agreement with the expected values at these altitudes. Fast sausage mode oscillations are also discussed and cannot be ruled out as an alternate mechanism for producing the QPP